<HTML><HEAD><TITLE>library(lips)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(lips)</H1>
Measure the system's speed using the naive reverse benchmark
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="lips-0.html"><STRONG>lips</STRONG></A></DT>
<DD>Run the benchmark a reasonable number of times and print the average speed</DD>
<DT><A HREF="lips-1.html"><STRONG>lips(+Count)</STRONG></A></DT>
<DD>Run the benchmark Count times and print the average speed</DD>
<DT><A HREF="lips-2.html"><STRONG>lips(+Count,+Length)</STRONG></A></DT>
<DD>Run the benchmark Count times with lists of length Length</DD>
</DL>
</BLOCKQUOTE>
<H2>Description</H2>

    Measure the system's speed in logical inferences per second, using
    the infamous naive reverse program. This test does not say very much
    about the quality of a system. All it gives is an indication about
    the speed of list processing.
    <P>
    The executed program is:
    <PRE>
    nreverse([], []).
    nreverse([X|L0],L) :-
	    nreverse(L0, L1),
	    concatenate(L1, [X], L).

    concatenate([], L, L).
    concatenate([X|L1], L2, [X|L3]) :-
	    concatenate(L1, L2, L3).
    </PRE>
    and the standard benchmark is to call nreverse/2 with a 30-element
    list as the first and a variable as the second argument.  This
    instance is assumed to have 496 logical inferences.
    
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Joachim Schimpf, ECRC Munich
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 05:38:37 $
</UL>
<HR>Generated from lips.eci on 2009-05-27 01:25
</BODY></HTML>
